Data types in distributive categories
نویسندگان
چکیده
منابع مشابه
Recursive Types in Kleisli Categories
We show that an enriched version of Freyd's principle of versality holds in the Kleisli category of a commutative strong monad with xed-point object. This gives a general categorical setting in which it is possible to model recursive types involving the usual datatype constructors.
متن کاملCategories, types, symmetries
In this squib, we study some symmetry patterns that arise from introducing a notion of duality in categorial grammar. We first look at residuated and dually residuated families of operations, in syntax and semantics. Inspecting the monotonicity properties of these operations, we then identify a further set of (dually) Galois connected binary operations, hitherto uninvestigated in the linguistic...
متن کاملTypes, Sets, and Categories
This essay is an attempt to sketch the evolution of type theory from its beginnings early in the last century to the present day. Central to the development of the type concept has been its close relationship with set theory to begin with and later its even more intimate relationship with category theory. Since it is effectively impossible to describe these relationships (especially in regard t...
متن کاملSelectional restrictions, types and categories
The expressions of a language distinguish between many different types of objects. These types can affect how the meanings of these expressions combine. This paper provides a formal picture of the process of meaning combination in a richly typed framework.
متن کاملCategories and types for axiomatic domain theory
Domain Theory provides a denotational semantics for programming languages and calculi containing fixed point combinators and other so-called paradoxical combinators. This dissertation presents results in the category theory and type theory of Axiomatic Domain Theory. Prompted by the adjunctions of Domain Theory, we extend Benton’s linear/nonlinear dualsequent calculus to include recursive linea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1989
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700003506